321. Formal ontology in information systems :
Author: edited by Carola Eschenbach and Michael Grüninger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Conceptual structures (Information theory), Congresses.,Database design, Congresses.,Expert systems (Computer science), Congresses.,Knowledge representation (Information theory), Congresses.,Ontology, Congresses.,Conceptual structures (Information theory),Database design.,Expert systems (Computer science),Knowledge representation (Information theory),Ontology.
Classification :
QA76
.
76
.
E95
F65
2008
322. Formal specification :
Author: Nimal Nissanke.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software -- Development.,Formal methods (Computer science)
Classification :
QA76
.
9
.
F67
N563
1999
323. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
324. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
325. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
326. Formalization of Programming Concepts:
Author: J Diaz
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science.,Software engineering.
Classification :
QA76
.
6
J353
1981
327. Foundations of Information and Knowledge Systems
Author: edited by Jürgen Dix, Stephen J. Hegner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computational complexity.,Computer science.,Database management.,Information storage and retrieval systems.,Logic design.
328. Foundations of Information and Knowledge Systems.
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Logic design.
329. Foundations of Intelligent Systems :
Author: edited by Zbigniew W. Raś, Andrzej Skowron.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Database management.,Information storage and retrieval systems.
330. Foundations of Logic and Mathematics
Author: by Yves Nievergelt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.
331. Foundations of computing : system development with set theory and logic
Author: Scheurer, Thierry
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، System design,، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
S88
.
S29
1994
332. Foundations of computing : system development with set theory and logic
Author: Scheurer, Thierry.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: System design , Set theory , Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
S88
S29
1994
333. Foundations of embedded systems /
Author: Alexander Barkalov, Larysa Titarenko and Małgorzata Mazurkiewicz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Embedded computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Embedded computer systems.
Classification :
TK7895
.
E42
334. Foundations of information and knowledge systems
Author: Thomas Lukasiewicz, Attila Sali (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic, Congresses,Computer systems, Congresses,Database design, Congresses,Information technology, Congresses
Classification :
QA75
.
5
.
F65
2012eb
335. Foundations of information and knowledge systems :
Author: Flavio Ferrarotti, Stefan Woltran (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems, Congresses.,Artificial intelligence.,Computer systems.,Computers-- Data Processing.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.
Classification :
QA75
.
5
336. Foundations of security, protocols, and equational reasoning :
Author: Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Cryptography, Congresses.,Data protection, Congresses.,Logic design, Congresses.,Computer network protocols.,Cryptography.,Data protection.,Logic design.
Classification :
QA76
.
9
.
A25
337. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
338. Foundations of software technology and theoretical computer science :
Author: ed. by S.N. Maheshwari.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.
339. From Logic Design to Logic Programming:
Author: D Snyers
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer logic.,Computer programming.,Computer science.
Classification :
QA76
.
9
.
A96
D769
1987
340. From logic design to logic programming : theorem proving techniques and P-functions
Author: Dominique Snyers, Andre Thayse
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Computer algorithms,، Logic programming
Classification :
QA
76
.
L28
Vol
.
271
